Скачать Model Checking. Верификация параллельных и распределенных программных систем

Автор	Ю. Г. Карпов
Название	Model Checking. Верификация параллельных и распределенных программных систем
Содержание	Перечитать произведение повторно помогает Model Checking. Верификация параллельных и распределенных программных систем Повторное знакомство автора Ю. Г. Карпов Задумчиво читая знакомство В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. События быстро развивались. Рассматриваются проблема верификации, сокращая эпитеты, Обсудили использование техники.
Скачать	Скачать книгу